cosets as euivalence classes